Resource Access Control in Systems of Mobile Agents

We describe a typing system for a distributed π-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a locat...

متن کامل

Access Control in Systems of Mobile Agents

We describe a typing system for a distributed π-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a locat...

متن کامل

UNIVERSITY OF SUSSEX COMPUTER SCIENCE Resource Access Control in Systems of Mobile Agents

We describe a typing system for a distributed π-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a locat...

متن کامل

Access Control in Systems of Mobile Agents ( Extended Abstract )

We describe a typing system for a distributed π-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a locat...

متن کامل

Resource Control in Large-scale Mobile-agents Systems

Modern distributed systems scatter sensors, storage, and computation throughout the envi-ronment. Ideally these devices communicate and share resources, but there is seldom motivation for adevice’s owner to yield control to another user. We establish markets for computational resources tomotivate principals to share resources with arbitrary users, to enforce priority in distributed ...

متن کامل

Resource Access Control in Systems of Mobile Agents

نویسندگان

چکیده

منابع مشابه